退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将通用代数应用于lambda演算
G. Manzonetto; A. Salibra; Giulio Manzonetto; Antonino Salibra;
机译:将通用代数应用于Lambda微积分
机译:与量子随机演算有关的李代数的通用包络代数元素的混沌扩展
机译:通用概率编程的Lambda微积分基础
机译:延续模型对于/ spl lambda // sub / spl mu //-calculus是通用的
机译:顶点代数的形式演算,本影演算和基本公理。
机译:代数几何中的残差计算和一些超越结果,I
机译:使用包含适用语言代码的变量来减少lambda演算表达式的计算机
机译:Lambda传感器,例如通用拉姆达传感器,用于汽车的内燃机,其电极被测量气体保护层包围,在原保护层上布置了另一个保护层
机译:信号的可编程通用控制发射-逻辑O或I取决于包含逻辑变量的布尔代数的功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。